Combining Conjunction with Disjunction
نویسندگان
چکیده
In this paper we address some central problems of combination of logics through the study of a very simple but highly informative case, the combination of the logics of disjunction and conjunction. At first it seems that it would be very easy to combine such logics, but the following problem arises: if we combine these logics in a straightforward way, distributivity holds. On the other hand, distributivity does not arise if we use the usual notion of extension between consequence relations. A detailed discussion about this phenomenon, as well as some possible solutions for it, are given.
منابع مشابه
Sub-classical Boolean Bunched Logics and the Meaning of Par
We investigate intermediate logics between the bunched logics Boolean BI and Classical BI, obtained by combining classical propositional logic with various flavours of Hyland and De Paiva’s full intuitionistic linear logic. Thus, in addition to the usual multiplicative conjunction (with its adjoint implication and unit), our logics also feature a multiplicative disjunction (with its adjoint co-...
متن کاملProperties and Modeling of Partial Conjunction/Disjunction
The partial conjunction/disjunction function (PCD) integrates conjunctive and disjunctive features in a single function. Special cases of this function include the pure conjunction, the pure disjunction, and the arithmetic mean. PCD enables a continuous transition from the pure conjunction to the pure disjunction, using a parameter that specifies a desired level of conjunction (andness) or disj...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملA Unified Approach to Questions, Quantifiers and Coordination in Japanese
Universal/existential quantifiers can be seen as generalization of logical conjunction/disjunction. The universal (existential) quantification of an open proposition is the conjunction (disjunction) of all its possible instantiations. In other words, conjunction (disjunction) is a special kind of universal (existential) quantification where the domain of the variable is restricted to the set of...
متن کاملGeneralized conjunction/disjunction
The generalized conjunction/disjunction function (GCD) is a continuous logic function of two or more variables that integrates conjunctive and disjunctive properties in a single function. It is used as a mathematical model of simultaneity and replaceability of inputs. Special cases of this function include the full (pure) conjunction, the partial conjunction, the arithmetic mean, the partial di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005